Books by author Marco Bernardo

Showing 1 – 15 out of 15 results

1. 

   Formal Methods for Quantitative Aspects of Programming Languages

   Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky | Springer, Berlin, 2010

   
   

   In stock at our supplier - Shipping in 9 - 13 days

   Language: English

   Binding: Paperback

   59.57 €

   Buy
2. 

   Formal Methods for Mobile Computing

   Marco Bernardo, Alessandro Bogliolo | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2005

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
3. 

   Formal Methods for Hardware Verification

   Marco Bernardo, Alessandro Cimatti | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2006

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
4. 

   Formal Methods for Model-Driven Engineering

   Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio | Springer, Berlin, 2012

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
5. 

   Formal Methods for Executable Software Models

   Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen | Springer International Publishing AG, 2014

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
6. 

   Formal Methods for Web Services

   Marco Bernardo, Luca Padovani, Gianluigi Zavattaro | Springer, Berlin, 2009

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   73.96 €

   Buy
7. 

   Formal Methods for Dynamical Systems

   Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   53.43 €

   Buy
8. 

   Formal Methods for Software Architectures

   Marco Bernardo, Paola Inverardi | Springer, Berlin, 2003

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
9. 

   Formal Methods for Computational Systems Biology

   Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Low in stock at our supplier - Shipping in 10 - 14 days

   Language: English

   Binding: Paperback

   58.56 €

   Buy
10. 

    Computer Performance Engineering

    Alessandro Aldini, Marco Bernardo, Luciano Bononi, Vittorio Cortellessa | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

    
    

    In stock at our supplier - Shipping in 9 - 13 days

    Language: English

    Binding: Paperback

    59.57 €

    Buy
11. 

    A Process Algebraic Approach to Software Architecture Design

    Alessandro Aldini, Marco Bernardo, Flavio Corradini | Springer, Berlin, 2009

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Hardback

    58.56 €

    Buy
12. 

    Formal Methods for Performance Evaluation

    Marco Bernardo, Jane Hillston | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    58.56 €

    Buy
13. 

    Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

    Marco Bernardo, Rocco de Nicola, Jane Hillston | Springer International Publishing AG, 2016

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    58.56 €

    Buy
14. 

    Formal Methods for Eternal Networked Software Systems

    Marco Bernardo, Valerie Issarny | Springer, Berlin, 2011

    
    

    In stock at our supplier - Shipping in 9 - 13 days

    Language: English

    Binding: Paperback

    59.57 €

    Buy
15. 

    Formal Methods for Multicore Programming

    Marco Bernardo, Einar Broch Johnsen | Springer International Publishing AG, 2015

    
    

    Low in stock at our supplier - Shipping in 10 - 14 days

    Language: English

    Binding: Paperback

    58.56 €

    Buy

Oferujemy zniżki dla uczniów, nauczycieli i studentów. Zobacz więcej